A Modal Language for the Safety of Mobile Values
نویسنده
چکیده
We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality • which corresponds to necessity of modal logic. For the safety of mobile values, we introduce a new modality O which expresses that given code evaluates to a mobile value. We demonstrate the use of modal types with three communication constructs: remote evaluation, futures, and asynchronous channels. braries n University OOQO PictsburgSi
منابع مشابه
Noise Effects on Modal Parameters Extraction of Horizontal Tailplane by Singular Value Decomposition Method Based on Output Only Modal Analysis
According to the great importance of safety in aerospace industries, identification of dynamic parameters of related equipment by experimental tests in operating conditions has been in focus. Due to the existence of noise sources in these conditions the probability of fault occurrence may increases. This study investigates the effects of noise in the process of modal parameters identification b...
متن کاملIsogeometric analysis: vibration analysis, Fourier and wavelet spectra
This paper presents the Fourier and wavelet characterization of vibratio...
متن کاملExploring the Potential of a Mobile Messaging Application for Self-Initiated Language Learning
With the rapid expansion of deploying mobile instant messaging applications such as Telegram for the purpose of language learning, it is quite apparent that language research in this regard is lagging behind the trend. This study addressed the matter by exploring how language learners utilize a Telegram group for the purpose of language learning. In this regard, the activities of a Telegram lan...
متن کاملTeaching Modal Verbs: Task-based vs. traditional approaches
Abstract Task-based language teaching is considered an effective way to achieve a harmony between grammar and communication. The present study investigates two different ways of teaching modal verbs: task-based versus traditional approaches. To this purpose, an Oxford Placement Test was administered to select 40 homogeneous participants out of a larger population who took this test. The selecte...
متن کاملTeaching Modal Verbs: Task-based vs. traditional approaches
Abstract Task-based language teaching is considered an effective way to achieve a harmony between grammar and communication. The present study investigates two different ways of teaching modal verbs: task-based versus traditional approaches. To this purpose, an Oxford Placement Test was administered to select 40 homogeneous participants out of a larger population who took this test. The selecte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006